#include<stdio.h>



int main()
{
    char ch;
    int count;
    while(getchar()!='\n')
    {

        ch=getchar();
        putchar(ch);
        count++;
    } 
    printf("%d ",count); 

    return 0;
}